1. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
2. A course in mathematical logic for mathematicians
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Einf?hrung. ; swd. ; Mathematische Logik. ; swd. ;
3. Grenzen der Mathematik
پدیدآورنده : Dirk W. Hoffmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.
رده :
b
4. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematische Logik.
رده :
BC135
.
V663
1967
5. Grundzüge der theoretischen Logik
پدیدآورنده : [von] D. Hilbert und W. Ackermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematische Logik.
رده :
BC135
.
V663
1959
6. Introduction to symbolic logic /
پدیدآورنده : James D. Carney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
BC135
.
C334
1970
7. Mathematical logic
پدیدآورنده : / Wei Li
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.,Mathematische Logik.--swd,Mathematics.
رده :
QA9
,.
L475
,
2010